Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
61	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
62	97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H Add to Reading List Source URL: sites.uclouvain.be Language: English - Date: 2015-01-27 10:24:47 Monoidal categories Homotopy theory Algebraic structures Adjoint functors Monad Hopf algebra Algebraic topology Monoid Crossed module Abstract algebra Algebra Category theory
63	Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren Add to Reading List Source URL: mawarren.net Language: English - Date: 2013-08-22 15:46:58 Homotopy theory Algebraic topology Algebraic structures Higher category theory Groupoid Functor Adjoint functors Sheaf Natural transformation Abstract algebra Category theory Mathematics
64	A CHARACTERISATION OF THE “SMITH IS HUQ” CONDITION IN THE POINTED MAL’TSEV SETTING dedicated to René Guitart on the occasion of his sixty-fifth birthday by Dominique BOURN, Nelson MARTINS-FERREIRA and Tim VAN DER Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2013-10-15 06:14:02 Topology Adjoint functors Functor Equivalence relation Equivalence of categories Fibration Subobject Natural transformation Regular category Category theory Abstract algebra Mathematics
65	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-06 07:03:41 Functors Monad Kleisli category Limit Universal property Natural transformation Equivalence of categories Enriched category Cartesian closed category Category theory Adjoint functors Monoidal categories
66	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
67	Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:38 Category theory Structure Order theory Space Reflective subcategory Equivalence of categories Category of topological spaces Duality Complete Heyting algebra Mathematics Adjoint functors Abstract algebra
68	Categories and Modules Takahiro Kato March 12, 2015 ABSTRACT. Modules (also known as profunctors or distributors) and morphisms among Add to Reading List Source URL: vixra.org Language: English - Date: 2015-03-12 11:32:43 Mathematics Functor category Yoneda lemma Functor Adjoint functors Natural transformation Hom functor Sheaf Grothendieck topology Category theory Functors Abstract algebra
69	MBrace: Cloud Computing with Monads Jan Dzik Nick Palladinos Konstantinos Rontogiannis Add to Reading List Source URL: www.m-brace.net Language: English - Date: 2015-06-02 05:14:15 Adjoint functors Workflow technology Cloud infrastructure Functional languages Apache Hadoop MapReduce Monad Azure Services Platform Workflow Computing Cloud computing Software engineering
70	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing

UPDATE